rule of detachment वाक्य

While " modus ponens " is one of the most commonly used argument forms in logic it must not be mistaken for a logical law; rather, it is one of the accepted mechanisms for the construction of deductive proofs that includes the " rule of definition " and the " rule of substitution " . " Modus ponens " allows one to eliminate a logical proof or argument ( the antecedents ) and thereby not carry these antecedents forward in an ever-lengthening string of symbols; for this reason modus ponens is sometimes called the "'rule of detachment "'or the "'law of detachment " '.